Creating Test Case using Oracle Recorder in OpKey